type MyCapitalize<T extends string> = T extends `${infer R}${infer K}`
  ? `${Uppercase<R>}${K}`
  : T;
type M1 = MyCapitalize<"abc">;
